Computing Trajectories of Dynamic Systems Using ASP and Flora-2
نویسنده
چکیده
The paper explores the possibility of performing temporal projection in the “Digital Aristotle” reasoning system. In particular, it investigates the relationship between two methods for computing trajectories of dynamic systems: a first method using action languages and the answer set semantics, and a second method using the object-oriented declarative language Flora-2. The former method is sound and complete with respect to the specification. We show that the latter method is also sound, and we identify a sufficient condition for completeness. Based on these results, we present advantages and limitations of the two methods.
منابع مشابه
Analytical Dynamic Modelling of Heel-off and Toe-off Motions for a 2D Humanoid Robot
The main objective of this article is to optimize the walking pattern of a 2D humanoid robot with heel-off and toe-off motions in order to minimize the energy consumption and maximize the stability margin. To this end, at first, a gait planning method is introduced based on the ankle and hip joint position trajectories. Then, using these trajectories and the inverse kinematics, the position tra...
متن کاملGreen Energy-aware task scheduling using the DVFS technique in Cloud Computing
Nowdays, energy consumption as a critical issue in distributed computing systems with high performance has become so green computing tries to energy consumption, carbon footprint and CO2 emissions in high performance computing systems (HPCs) such as clusters, Grid and Cloud that a large number of parallel. Reducing energy consumption for high end computing can bring various benefits such as red...
متن کاملMeasuring the Similarity of Trajectories Using Fuzzy Theory
In recent years, with the advancement of positioning systems, access to a large amount of movement data is provided. Among the methods of discovering knowledge from this type of data is to measure the similarity of trajectories resulting from the movement of objects. Similarity measurement has also been used in other data mining methods such as classification and clustering and is currently, an...
متن کاملA Genetic Based Resource Management Algorithm Considering Energy Efficiency in Cloud Computing Systems
Cloud computing is a result of the continuing progress made in the areas of hardware, technologies related to the Internet, distributed computing and automated management. The Increasing demand has led to an increase in services resulting in the establishment of large-scale computing and data centers, in addition to high operating costs and huge amounts of electrical power consumption. Insuffic...
متن کاملBiomechanical Investigation of Empirical Optimal Trajectories Introduced for Snatch Weightlifting
The optimal barbell trajectory for snatch weightlifting has been achieved empirically by several researchers. They have studied the differences between the elite weightlifters’ movement patterns and suggested three optimal barbell trajectories (type A, B, and C). But they didn’t agree for introducing the best trajectory. One of the reasons is this idea that the selected criterion by researchers...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010